Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

don't drop default keyspace #143

Merged
merged 2 commits into from
Feb 12, 2025
Merged

don't drop default keyspace #143

merged 2 commits into from
Feb 12, 2025

Conversation

bjchambers
Copy link
Collaborator

No description provided.

Copy link

github-actions bot commented Feb 12, 2025

Test Results

    8 files  ±0    8 suites  ±0   2m 34s ⏱️ -5s
  400 tests ±0  400 ✅ ±0    0 💤 ±0  0 ❌ ±0 
1 600 runs  ±0  876 ✅ ±0  724 💤 ±0  0 ❌ ±0 

Results for commit 65cd4fb. ± Comparison against base commit 0622f96.

♻️ This comment has been updated with latest results.

@bjchambers bjchambers merged commit f284671 into main Feb 12, 2025
9 checks passed
@bjchambers bjchambers deleted the dont-drop-default branch February 12, 2025 01:42
@coveralls
Copy link

coveralls commented Feb 13, 2025

Pull Request Test Coverage Report for Build 13275652932

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 92.871%

Totals Coverage Status
Change from base Build 13274458701: 0.0%
Covered Lines: 1505
Relevant Lines: 1594

💛 - Coveralls

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants